101. Data structures theory and practice
پدیدآورنده: Berztiss, A
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers,، Graph theory,، Algorithms
رده :
QA
76
.
5
.
B46
102. Database Theory -- ICDT '92 :
پدیدآورنده: edited by Joachim Biskup, Richard Hull.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Database management.
رده :
QA76
.
9
.
D3
E358
1992
103. Deep learning with Azure :
پدیدآورنده: Mathew Salvaris, Danielle Dean, Wee Hyong Tok.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Microsoft Azure (Computing platform),COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Microsoft Azure (Computing platform),Microsoft programming.,Program concepts-- learning to program.
رده :
QA76
.
585
.
S25
2018eb
104. Design and Analysis of Algorithms :
پدیدآورنده: Sandeep Sen, Indian Institute of Technology, Delhi, Amit Kumar, Indian Institute of Technology, Delhi
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra.,Algorithms.,Computer science.,Geometry.,Logic.,Mathematics.,Algebra.,Algorithms.,Computer science.,Geometry.,Logic.,Mathematics.
رده :
QA9
.
58
.
S454
2019
105. Digital and Image Geometry :
پدیدآورنده: Gerhard Goos
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
TA1637
.
G474
2001
106. Energy minimization methods in computer vision and pattern recognition :
پدیدآورنده: Marcello Pelillo, Edwin Hancock (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer vision, Congresses.,Pattern recognition systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer vision.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Image processing.,Mathematical theory of computation.,Maths for computer scientists.,Pattern recognition systems.,Pattern recognition.
رده :
TA1634
.
E44
2017eb
107. Evolutionary computation in combinatorial optimization :
پدیدآورنده: Arnaud Liefooghe, Manuel López-Ibáñez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial optimization-- Data processing, Congresses.,Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Combinatorial optimization-- Data processing.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Evolutionary computation.,Evolutionary programming (Computer science),Mathematical theory of computation.
رده :
QA76
.
618
108. Evolvable hardware /
پدیدآورنده: Tetsuya Higuchi, Yong Liu, Xin Yao (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Digital integrated circuits-- Design and construction.,Evolutionary computation.,Evolutionary programming (Computer science),Logic circuits-- Design and construction.,COMPUTERS-- Computer Engineering.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Machine Theory.,Digital integrated circuits-- Design and construction.,Digital integrated circuits-- Design and construction.,Evolutionary computation.,Evolutionary computation.,Evolutionary programming (Computer science),Evolutionary programming (Computer science),Informatique.,Logic circuits-- Design and construction.,Logic circuits-- Design and construction.
رده :
QA76
.
618
.
E96
2006eb
109. Experimental algorithms
پدیدآورنده: / Paola Festa (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computer algorithms, Congresses
رده :
QA76
.
9
.
A43S42
2010
110. Exploring computer science with scheme
پدیدآورنده: Oliver Grillmeyer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming -- Problems, exercises, etc.,Computer programming.,Scheme (Computer program language)
رده :
QA76
.
O458
2011
111. First course in algorithms through puzzles /
پدیدآورنده: Ryuhei Uehara.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Computer algorithms.
رده :
QA9
.
58
112. Formal methods :
پدیدآورنده: Tiago Massoni, Mohammad Reza Mousavi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
113. Formal modeling and analysis of timed systems :
پدیدآورنده: David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
114. Foundations of programming languages /
پدیدآورنده: Kent D. Lee.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programming languages (Electronic computers),Programming languages (Electronic computers)
رده :
QA76
.
7
115. Foundations of software science and computation structures
پدیدآورنده: Jerzy Tiuryn (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software, Congresses.,System analysis, Congresses.
116. Funtional Programming Languages in Education :
پدیدآورنده: edited by Pieter H. Hartel, Rinus Plasmeijer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer Science.,Logic design.
رده :
QA76
.
62
E358
1995
117. GI - 6. Jahrestagung :
پدیدآورنده: herausgegeben von Erich J. Neuhold.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.
رده :
QA76
.
H473
1976
118. Genetic Algorithms + Data Structures = Evolution Programs
پدیدآورنده: by Zbigniew Michalewicz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Software engineering.
رده :
QA76
.
9
.
A43
B993
1994
119. Genetic algorithm + data structures= evolution programs
پدیدآورنده: / by Zbigniew Michalewicz
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Evolutionary programming (Computer science),Genetic algorithms,Data structures (Computer science)
رده :
QA76
.
618
.
M533
1996
120. Genetic algorithms + data structures = evolution programs
پدیدآورنده: / Zbigniew Michalewicz
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Evolutionary programming (Computer science),Genetic algorithms,Data structures (Computer science)
رده :
QA76
.
618
.
M53
1996
